Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
271	A Unified Approach to Polyvariance in Abstract Interpretations ∗ Thomas Gilray Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:10 Symbol Model theory
272	Microsoft Word - A Structural Growth Model and its Applications to Sraffa’s System.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2010-07-29 07:27:43 Matrix theory Abstract algebra Singular value decomposition Input-output model Regional science Perron–Frobenius theorem Eigenvalues and eigenvectors Supply and demand Economic equilibrium Algebra Linear algebra Mathematics
273	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
274	FAST AND ACCURATE LONG STEPPING SIMULATION OF THE HESTON STOCHASTIC VOLATILITY MODEL JIUN HONG CHAN AND MARK JOSHI Abstract. In this paper, we present three new discretization schemes for the Heston stochastic volatility Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:12:15 Poisson processes Probability theory Data analysis Normal distribution Poisson distribution Exponential distribution Variance Gamma distribution Characteristic function Statistics Mathematical analysis Probability and statistics
275	REGULARITY AND STABILITY OF EQUILIBRIA IN AN OVERLAPPING GENERATIONS GROWTH MODEL VERSION 2 JEAN-FRANÇOIS MERTENS† AND ANNA RUBINCHIK‡ Abstract. In an exogenous-growth economy with overlapping generations we Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 17:09:30 Spectral theory Operator theory Fourier analysis Functional analysis Ordinary differential equations Convolution Fourier transform Spectrum Spectral theory of ordinary differential equations Mathematical analysis Mathematics Algebra
276	Better bounds for matchings in the streaming model Michael Kapralov∗ July 26, 2012 Abstract In this paper we present improved bounds for approximating maximum matchings in bipartite graphs in Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-12-09 10:13:50 NP-complete problems Combinatorial optimization Matching Degree Maximum flow problem Graph coloring Dominating set Mathematics Graph theory Theoretical computer science
277	Mixed-Effects Models in R An Appendix to An R Companion to Applied Regression, Second Edition John Fox & Sanford Weisberg last revision: Abstract Add to Reading List Source URL: socserv.socsci.mcmaster.ca Language: English - Date: 2015-02-03 10:49:36 Estimation theory Statistical methods Parametric statistics Mixed model Linear regression Ordinary least squares Least squares Errors and residuals in statistics Heteroscedasticity Statistics Regression analysis Econometrics
278	The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing
279	Nonlinear Regression and Nonlinear Least Squares in R An Appendix to An R Companion to Applied Regression, second edition John Fox & Sanford Weisberg last revision: 13 December 2010 Abstract Add to Reading List Source URL: socserv.socsci.mcmaster.ca Language: English - Date: 2010-12-13 20:37:48 Logistic function Generalized linear model Linear regression Least squares Non-linear least squares Estimation theory Gauss–Newton algorithm Logistic map Normal distribution Statistics Regression analysis Nonlinear regression
280	The joint distribution of the time to ruin and the number of claims until ruin in the classical risk model David C M Dickson Abstract We use probabilistic arguments to derive an expression for the joint Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:17:35 Spectral theory of ordinary differential equations Plancherel theorem for spherical functions Operator theory Ordinary differential equations Spectral theory

UPDATE